results for Symbolic Computation in Software Science